Formal methods - PDFSEARCH.IO - Document Search Engine

Formal methods
Results: 2204

#	Item
681	SCHEDULE - AGILE SOFTWARE DEVELOPMENT ArticleApplicability Add to Reading List Source URL: www.liones.com Language: English - Date: 2015-03-02 11:03:56 Technology Formal methods Software engineering Acceptance testing Software testing Product development Agile software development Software development process IBM Rational Unified Process Software development Software project management Business
682	CoqInE: Translating the Calculus of Inductive Constructions into the λΠ-calculus Modulo Mathieu Boespflug1 and Guillaume Burel2 1 McGill University Montr´eal, Qu´ebec, Canada Add to Reading List Source URL: www.ensiie.fr Language: English - Date: 2015-01-06 05:10:59 Type theory Dependently typed programming Lambda calculus Formal methods Recursion Calculus of constructions Calculus of inductive constructions Coq Dependent type Programming language theory Mathematics Algebra
683	PDF Document Add to Reading List Source URL: www.esterel-technologies.com Language: English - Date: 2015-03-18 06:17:22 Software engineering Unified Modeling Language Electronic engineering Formal methods Systems engineering Computing Esterel Systems Modeling Language SIGNAL Hardware description languages Synchronous programming languages Esterel Technologies
684	Annotating large lattices with the exact word error Rogier C. van Dalen, Mark J. F. Gales Department of Engineering, University of Cambridge, United Kingdom , Abstract Add to Reading List Source URL: mi.eng.cam.ac.uk Language: English - Date: 2015-04-17 05:58:29 Formal methods Computer science Finite state transducer Finite-state machine Semiring Büchi automaton Automata theory Models of computation Theoretical computer science
685	Microsoft Word - simTD@RE2011_final Add to Reading List Source URL: www.simtd.de Language: English - Date: 2014-02-24 04:48:29 Validity Science Software engineering Systems science Formal methods Verification and validation Systems engineering process Validation Software development process Systems engineering Software development Pharmaceutical industry
686	Abstraction-Carrying Code: a Model for Mobile Code Safety Abstraction-Carrying Code: a Model for Mobile Code Safety Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2009-07-09 09:15:07 Computing Formal methods Logic in computer science Program analysis Abstract interpretation Formal verification Abstraction Type system Type safety Software engineering Programming language theory Type theory
687	PDF Document Add to Reading List Source URL: www.ivarjacobson.com Language: English - Date: 2014-03-03 07:32:56 Software project management Software engineering Formal methods Agile software development SEMAT Ivar Jacobson Capability Maturity Model Integration Extreme programming IBM Rational Unified Process Software development Software Software development process
688	PDF Document Add to Reading List Source URL: www.symtavision.com Language: English - Date: 2014-11-27 09:05:09 Automotive software FlexRay Static timing analysis Software bug Analysis Mind Computing Electronic engineering Software architecture Formal methods AUTOSAR
689	Microsoft Word - simTD@RE2011_final Add to Reading List Source URL: simtd.de Language: English - Date: 2014-02-18 10:24:21 Validity Science Software engineering Systems science Formal methods Verification and validation Systems engineering process Validation Software development process Systems engineering Software development Pharmaceutical industry
690	Microsoft Word - simTD@RE2011_final Add to Reading List Source URL: simtd.de Language: English - Date: 2014-02-24 04:48:29 Validity Science Software engineering Systems science Formal methods Verification and validation Systems engineering process Validation Software development process Systems engineering Software development Pharmaceutical industry

UPDATE